A correspondence between maximal abelian sub-algebras and linear logic fragments
نویسندگان
چکیده
منابع مشابه
A Correspondence between Maximal Abelian Sub-Algebras and Linear Logic Fragments
We show a correspondence between a classification of maximal abelian sub-algebras (MASAs) proposed by Jacques Dixmier (Dix54) and fragments of linear logic. We expose for this purpose a modified construction of Girard’s hyperfinite geometry of interaction (Gir11). The expressivity of the logic soundly interpreted in this model is dependent on properties of a MASA which is a parameter of the int...
متن کاملSolvable Lie Algebras and Maximal Abelian Dimensions
In this paper some results on the structure of finite-dimensional Lie algebras are obtained by means of the concept of maximal abelian dimension. More concretely, a sufficient condition is given for the solvability in finite-dimensional Lie algebras by using maximal abelian dimensions. Besides, a necessary condition for the nilpotency is also stated for such Lie algebras. Finally, the maximal a...
متن کاملMaximal Sub Algebras of Group-algebras
A closed subalgebra of a Banach algebra is called maximal if it is not contained in any larger proper closed subalgebra. Let G be a discrete abelian topological group and L its group-algebra, i.e. L is the Banach algebra of functions/on G with E*e<J |/(X)| < °° and multiplication defined as convolution. What are the maximal subalgebras of L? The complete answer is not known even when G is the g...
متن کاملOn Sub-Propositional Fragments of Modal Logic
In this paper, we consider the well-known modal logics K, T, K4, and S4, and we study some of their sub-propositional fragments, namely the classical Horn fragment, the Krom fragment, the so-called core fragment, defined as the intersection of the Horn and the Krom fragments, plus their sub-fragments obtained by limiting the use of boxes and diamonds in clauses. We focus, first, on the relative...
متن کاملOn the Tensor Products of Maximal Abelian JW-Algebras
It is well known in the work of Kadison and Ringrose 1983 that if A and B are maximal abelian von Neumann subalgebras of von Neumann algebras M and N, respectively, then A⊗B is a maximal abelian von Neumann subalgebra of M⊗N. It is then natural to ask whether a similar result holds in the context of JW-algebras and the JW-tensor product. Guided to some extent by the close relationship between a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Structures in Computer Science
سال: 2016
ISSN: 0960-1295,1469-8072
DOI: 10.1017/s0960129516000062